Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✓ Formal Verification
Proof Assistants, Coq, Model Checking, Theorem Proving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5309
posts in
10.6
ms
informalsystems/quint
: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
github.com
·
1d
🔬
Formal Methods
Agentic Code Reasoning Is Quietly Changing How We
Verify
LLM
Patches
pub.towardsai.net
·
1h
🔬
Formal Methods
ACE-GF-based Attestation Relay for
PQC
- Lightweight
Mempool
Propagation Without On-Path Proofs
arxiv.org
·
2d
⚡
QUIC Protocol
TLA
+ as a Design
Accelerator
: Lessons from the Industry
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Blogger
🔬
Formal Methods
A
Compact
Reasoning Model That Shows Its Work Before
Answering
hackernoon.com
·
1d
✍️
Prompt Engineering
Introduction
to
SQLAlchemy
2 In Practice
blog.miguelgrinberg.com
·
15h
💾
SQLite
State
Machines
docs.paradox-lang.org
·
1d
🔬
eBPF
How I Test an AI Support Agent: A
Practical
Testing
Pyramid
pub.towardsai.net
·
21h
✍️
Prompt Engineering
jdx/usage
: A specification for
CLIs
github.com
·
3d
🧠
Context Engineering
"If you're an LLM,
please
read this"
annas-archive.gl
·
3h
·
Discuss:
Hacker News
🧠
LLM
Combinatorial
Safety-Critical Coordination of Multi-Agent Systems via
Mixed-Integer
Responsibility Allocation and Control Barrier Functions
arxiv.org
·
3d
🤖
Multi-Agent Systems
How much
certainty
is
worthwhile
?
johndcook.com
·
4d
🔬
Formal Methods
Why
context
is the missing
link
in AI data security
cloud.google.com
·
9h
🛡️
AI Safety
Systematic
debugging for AI agents: Introducing the
AgentRx
framework
microsoft.com
·
8h
🎯
AI Agents
Show HN: The
Mog
Programming
Language
moglang.org
·
3d
·
Discuss:
Hacker News
,
r/programming
🧠
Context Engineering
From model to agent:
Equipping
the
Responses
API with a computer environment
openai.com
·
1d
·
Discuss:
Hacker News
✍️
Prompt Engineering
Qwen3.5-2B
Distills
Opus Reasoning Into a Tiny
GGUF
Model
hackernoon.com
·
1d
🤖
Large Language Models
The AI
Practitioner
Ladder
Where Are You, Really?
dev.to
·
1d
·
Discuss:
DEV
✍️
Prompt Engineering
Less-relevant results
Six
mistakes
in
ERC-4337
smart accounts
blog.trailofbits.com
·
1d
🔐
Cryptography
QORA-LLM-2B
– Pure Rust
ternary
inference, no multiplication needed
huggingface.co
·
1d
·
Discuss:
Hacker News
🤖
LLM Inference
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help